摘要。无人机 (UAV) 的使用在各种应用中都具有诸多优势。然而,安全保障是广泛使用的一个关键障碍,尤其是考虑到无人机所经历的不可预测的操作和环境因素,这些因素很难仅在设计时捕捉到。本文提出了一种名为 SafeDrones 的新可靠性建模方法,通过实现无人机的运行时可靠性和风险评估来帮助解决这一问题。它是可执行数字可靠身份 (EDDI) 概念的原型实例,旨在为多机器人系统创建实时、数据驱动的可靠性保证的基于模型的解决方案。通过提供实时可靠性估计,SafeDrones 允许无人机以自适应方式相应地更新其任务。
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日PDF文件第1页](/bimg/4/4ceba57a909f057d4f5dc74fb66790f9fa9cf1cd.webp)
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日PDF文件第2页](/bimg/0/0df167456cb0472ecce9c9d77d99288199dff10a.webp)
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日PDF文件第3页](/bimg/d/ded17e275e3944fdf015cf3616745aaeeb4c9437.webp)
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日PDF文件第4页](/bimg/c/c1b41e96df4e93a0ec471a098edd8bd82489a66c.webp)
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日PDF文件第5页](/bimg/3/320f6f2ecbbb37017f4c285d658db7312d76cd2f.webp)
